prepositional logic meaning in Chinese
介词逻辑2
Examples
- Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。 - Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems
命题逻辑可满足性( sat )问题和有限论域一阶逻辑模型搜索( folms )问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且在许多实际问题中得到了广泛的应用。 - This paper came from the national nature science foundation and beijing nature science foundation . the subject is the research of the relation between generalized propositional logic ( gpl ) and other prepositional logic . the paper shows the universality of generalized propositional logic
本文的研究结合国家自然科学基金“经验知识推理理论” ( 60273087 )和北京市自然科学基金“不精确推理理论研究” ( 4032009 )进行，主要是研究命题泛逻辑学对其他命题逻辑的包容性，即根据泛逻辑学的生成规则，可以直接生成各种命题逻辑。